🔮 Folly Futures - hello · Scour

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·2d

🔄Concurrency

Deterministic AI: Reclaiming Predictable Latency with Rust and Zero-Cost Abstractions

dev.to·1d·

Discuss: DEV

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·1d·

Discuss: r/cpp

🔨Incremental Compilation

Linting intra-task concurrency and FutureLock

farnoy.dev·2d·

Discuss: r/rust

Build a Compiler in Five Projects

kmicinski.com·3h

yamlscript.org·8h

QASMTrans: An End-to-End QASM Compilation Framework with Pulse Generation for Near-Term Quantum Devices

arxiv.org·1d

⚛️Quantum Computing

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·18h

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🔓Lock-Free Programming

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·22h

feldera/feldera: The Feldera Incremental Computation Engine

github.com·3h

Metasploit Wrap-Up 02/06/2026

rapid7.com·19h

Railway Oriented Programming

fsharpforfunandprofit.com·22h·

Discuss: Hacker News

λFunctional Programming

Building fault-tolerant applications with AWS Lambda durable functions

aws.amazon.com·21h

Built a tiny fast library for catching obvious prompt injections

reddit.com·21h·

Discuss: r/golang

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

λFunctional Programming

GTK hackfest, 2026 edition

blogs.gnome.org·1d

I run local LLMs daily, but I'll never trust them for these tasks

xda-developers.com·22h

The JSNLV Receptacle

jsnlxndrlv.neocities.org·23h

🕰️Hybrid Logical Clocks

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

🔄Concurrency Models

Loading more...